221. Component-based software engineering : 7th international symposium, CBSE 2004, Edinburgh, UK, May 24-25, 2004 : proceedings
پدیدآورنده : Ivica Crnkovic....]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
3054
222. Component deployment : IFIP/ACM Working Conference, CD 2002, Berlin, Germany, June 20-21, 2002 : proceedings
پدیدآورنده : Judith Bishop )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Component software,Congresses ، System design,Congresses ، User interfaces )Computer systems(
رده :
QA
76
.
L28
Vol
.
2370
223. Component deployment : Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004 : proceedings
پدیدآورنده : Wolfgang Emmerich, Alexander L. Wolf )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Component software,Congresses ، System design,Congresses ، User interfaces )Computer systems(
رده :
QA
76
.
L28
Vol
.
3083
224. Component deployment: third international working conference, CD 2005, Grenoble, France, November 28-29, 2005: proceedings
پدیدآورنده : / Alan Dearle, Susan Eisenbach (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Component software,System design,User interfaces (Computer systems),-- Congresses,-- Congresses,-- Congresses
رده :
005
.
3
I61C
2005
225. Computational Science and Its Applications – ICCSA 2015
پدیدآورنده : \ [edited by] Osvaldo Gervasi...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses.,Computer software -- Congresses.,Computer networks -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,نرم افزار کامپیوتر -- کنگره ها,شبکه‌های کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
C6
2015
E-Book
,
226. Computational logic in multi-agent system
پدیدآورنده : / Fariba Sadri, Ken Satoh (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer logic--Congresses,Intelligent agents (Computer software)--Congresses
227. Computational logic in multi-agent system
پدیدآورنده : / Jeurgen Dix ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer logic--Congresses,Intelligent agents (Computer software)--Congresses
رده :
QA
,
76
.
9
,.
L63
,
C656
,
2010
228. Computational logic in multi-agent system
پدیدآورنده : / J?�rgen Dix, Jo?uo Leite (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer logic--Congresses,Intelligent agents (Computer software)--Congresses,Distributed artificial intelligence--Congresses
رده :
QA
,
76
.
9
,.
L63
,
C656
,
2004
229. Computational logic in multi-agent systems
پدیدآورنده : Jürgen Dix ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic, Congresses.,Intelligent agents (Computer software), Congresses.
230. Computational logic in multi-agent systems
پدیدآورنده : / Francesca Toni, Paolo Torroni (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer logic--Congresses,Intelligent agents (Computer software)--Congresses,Distributed artificial intelligence--Congresses,CLIMA,Multi-agent systems,Computational logic
رده :
QA
,
76
.
9
,.
L63
,
C67
,
2005
231. Computational logic in multi-agent systems : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005 : revised selected and invited papers
پدیدآورنده : Francesca Toni, Paolo Torroni )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer logic,Congresses ، Intelligent agents )Computer software(,Congresses ، Distributed artificial intelligence
رده :
QA
76
.
L28
Vol
.
3900
232. Computational logic in multi-agent systems: 5th international workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004: revised selected and invited papers
پدیدآورنده : Joao Leite, Paolo Torroni )eds.(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Congresses ، Computer logic,Congresses ، Intelligent agents )Computer software(,Congresses ، Distributed artificial intelligence
رده :
QA
76
.
9
.
L63
C656
2004b
233. Computational science and its applications -- ICCSA 2014 :
پدیدآورنده : Beniamino Murgante...[and 8 more] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks, Congresses,Computer science, Congresses,Computer software, Congresses,Software engineering, Congresses
رده :
QA75
.
5
234. Computational science and its applications -- ICCSA 2019 :
پدیدآورنده : Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer networks.,Computer science.,Computer software.,Software engineering.
رده :
QA75
.
5
.
I22
2019eb
235. Computer Aided Verification
پدیدآورنده : \ Daniel Kroening , Corina S. Păsăreanu (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Verification -- Congresses.,Logics and Meanings of Programs.,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
76
.
V47C6
2015
E-Book
,
236. Computer aided verification :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Verification ; Congresses. ;
237. Computer aided verification
پدیدآورنده : / Pierre Wolper (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer software- Verification- Congresses,Electronic digital computers- Evaluation- Congresses
رده :
QA76
.
76
.
C47
,
C38
1995
238. Computer aided verification :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Verification ; Congresses. ;
239. Computer aided verification :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Verification ; Congresses. ;
240. Computer aided verification :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer software ; Verification ; Congresses. ;
